| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Automata Theory | Fach-/Modulprüfung | 7 | 478709 | ||
| Advanced Statistical Classification | Fach-/Modulprüfung | 7 | 476900 | ||
| Computer Vision | Fach-/Modulprüfung | 7 | 474785 | ||
| Vorlesung/Übung | 472558 | Mo 10:30-12:00 AH IV (2354|030) (×11) Mo 14:30-16:00 AH IV (2354|030) (×11) Do 14:30-16:00 AH IV (2354|030) (×10) | |||
| Data-Driven Methods for 3D Shape Analysis | Fach-/Modulprüfung | 7 | 475378 | ||
| Vorlesung | 471952 | Di 14:30-16:00 AH V (2356|050) (×12) Do 14:30-16:00 AH VI (2356|051) (×10) | |||
| Übung | 471953 | Mi 16:30-18:00 AH VI (2356|051) (×12) | |||
| Effiziente Algorithmen | Fach-/Modulprüfung | 7 | 477977 | ||
| Eingebettete Systeme | Fach-/Modulprüfung | 7 | 477537 | ||
| Vorlesung/Übung | 473387 | Di 12:30-14:00 AH III (2350|314.1) (×12) Do 12:30-14:00 AH III (2350|314.1) (×10) | |||
| Vorlesung/Übung | 474003 | Mo 14:30-16:00 AH III (2350|314.1) (×10) Di 10:30-12:00 AH II (2350|111) (×12) | |||
| Fixpoints and Induction in Logic and Computer Science | Fach-/Modulprüfung | 7 | 474631 | ||
| Vorlesung | 474372 | Mi 10:30-12:00 5052 (2356|052) (×12) Do 10:30-12:00 5056 (2356|056) (×6) | |||
| Übung | 474260 | Do 12:30-14:00 5054 (2356|054) (×10) | |||
| Funktionale Programmierung | Fach-/Modulprüfung | 7 | 477345 | ||
| Geometrieverarbeitung | Fach-/Modulprüfung | 7 | 474878 | ||
| Vorlesung | 471095 | Di 10:30-12:00 AH V (2356|050) (×12) Do 10:30-12:00 AH V (2356|050) (×10) | |||
| Übung | 473435 | Fr 12:30-14:00 AH III (2350|314.1) (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 7 | 476569 | ||
| Logikprogrammierung | Fach-/Modulprüfung | 7 | 477019 | ||
| Model Checking | Fach-/Modulprüfung | 7 | 477928 | ||
| Vorlesung | 474525 | Mo 12:00-14:00 5055 (2356|055) (×1) Mo 16:30-18:00 AH II (2350|111) (×10) Di 18:30-20:00 AH III (2350|314.1) (×12) Do 09:50-15:00 5052 (2356|052) (×1) | |||
| Übung | 474235 | Fr 12:30-14:00 AH II (2350|111) (×13) | |||
| Rekursionstheorie | Fach-/Modulprüfung | 7 | 475389 | ||
| Software-Architekturen | Fach-/Modulprüfung | 7 | 478979 | ||
| Übung | 472069 | Di 16:30-18:00 5056 (2356|056) (×7) Di 16:30-18:00 9222 (2359|222) (×1) | |||
| Statistische Klassifikation und Maschinelles Lernen | Fach-/Modulprüfung | 7 | 475387 | ||
| Vorlesung | 482222 | Di 10:30-12:00 I (1010|101) (×11) Mi 10:30-12:00 PPS H2 (2315|001) (×12) | |||
| Übung | 482221 | Do 08:30-10:00 I (1010|101) (×11) | |||
| Statistische Methoden zur Verarbeitung natürlicher Sprache | Fach-/Modulprüfung | 8 | 478832 | ||
| The Graph Isomorphism Problem | Fach-/Modulprüfung | 7 | 475203 | ||
| Übung | 481975 | Fr 12:30-14:00 5054 (2356|054) (×10) | |||
| Vorlesung | 481974 | Di 08:30-10:00 AH II (2350|111) (×10) Do 14:30-16:00 AH II (2350|111) (×9) | |||
| Wissensrepräsentation | Fach-/Modulprüfung | 7 | 475452 | ||
| Vorlesung/Übung | 474266 |